3821. Symbian OS explained
پدیدآورنده: / Jo Stichbury
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع: Mobile communication systems- Computer programs,Operating systems (Computers),Symbian OS (Computer file),C++ (Computer program language)
رده :
TK6570
.
M6
,
S745
2005
3822. Symbian for software leaders
پدیدآورنده: / David Wood
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع: Symbian OS (Computer file),Operating systems (Computers),Smartphones- Programming
رده :
QA76
.
76
.
O63
,
W658
2005
3823. Symbian for software leaders
پدیدآورنده: / David Wood
کتابخانه: کتابخانه و مرکز اطلاع رسانی دانشگاه بین المللی امام رضا علیه السلام (خراسان رضوی)
موضوع: Symbian OS (Computer file),Operating systems (Computers),Smartphones--Programming
رده :
EB
,
QA76
.
76
.
O63W658
2005
3824. Symbian for software leaders : principles of successful Smartphone development projects
پدیدآورنده: Wood, David
کتابخانه: کتابخانه مرکز پژوهش متالورژی رازی (تهران)
موضوع: ، Symbian OS )Computer file(,، Operating systems )Computers(,Programming ، Smartphones
رده :
QA
76
.
76
.
O63
W658
2005
3825. Symbol manipulation languages and techniques
پدیدآورنده:
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی اصفهان (اصفهان)
موضوع: Programming languages (Electronic computers) -- Congresses
رده :
76
.
5
.
I34
3826. Symbol manipulation languages and techniques. Proceedings of the IFIP Working Conference on Symbol Manipulation Languages
پدیدآورنده: IFIP Working Conference on Symbol Manipulation Languages, )6691, Pisa, Italy(
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Programming languages )Electronic computers(-- Congresses
رده :
QA
76
.
5
.
I34
1966
3827. Symposium on Semantics of Algorithmic Languages
پدیدآورنده: edited by E. Engeler
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Programming languages )Electronic computers(,Congresses ، Formal languages,Congresses ، Algorithms
رده :
QA
3
.
L28
Vol
.
188
3828. Symposium on semantics of algorithmic languages
پدیدآورنده:
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی اصفهان (اصفهان)
موضوع: Programming languages (Electronic computers)- Semantics- Congresses►Formal languages- Congresses►Computer algorithms- Congresses
رده :
3
.
L28
,
no
.
188
3829. Symposium on semantics of algorithmic languages
پدیدآورنده: edited by E. Engeler
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: Congresses ، Programming languages )Electronic computers( - Semantics,Congresses ، Formal languages,Congresses ، Computer algorithms
رده :
QA
1
.
L4
v
.
188
3830. Symposium on semantics of algorithmic languages
پدیدآورنده: / edited by E. Engeler
کتابخانه: كتابخانه پردیس علوم (دانشگاه تهران) (تهران)
موضوع: Programming languages (Electronic computers) -- Semantics -- Congresses,Formal languages -- Congresses,Computer algorithms -- Congresses
رده :
QA
76
.
7
.
S9
1971
3831. Symposium on semantics of algorithmic languages
پدیدآورنده: edited by E.Engeler
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: Congresses ، Programming languages )Electronic computers(,Congresses ، Formal languages,Congresses ، Algorithms
رده :
QA
3
.
L28
no
.
188
3832. Synchronous programming of reactive systems
پدیدآورنده: / by Nicolas Halbwachs
کتابخانه: كتابخانه پردیس علوم (دانشگاه تهران) (تهران)
موضوع: Real-time programming,Programming languages (Electronic computers)
رده :
QA
76
.
54
.
H36
1993
3833. Syntax-directed semantics :
پدیدآورنده: Zoltán Fülöp, Heiko Vogler.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Codegenerierung,Programming languages (Electronic computers) -- Semantics.,Transducers.
رده :
QA76
.
7
Z658
1998
3834. Syntax of programming languages: theory and practice
پدیدآورنده: Backhouse, Roland C.
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: Syntax ، Programming languages )Electronic computers(
رده :
QA
76
.
7
.
B3
3835. System analysis by digital computer
پدیدآورنده: Kuo,Franklin F.ed
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: Engineering ، Electronic data processing,، System analysis,Programming ، Electronic digital computers
رده :
TA
345
.
K86
3836. System analysis by digital computer
پدیدآورنده: Kuo, Franklin F
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Engineering-- Data processing,، System analysis,، Electronic digital computers-- Programming
رده :
TA
345
.
K86
3837. System analysis by digital computer
پدیدآورنده: Kuo, Franklin F., 4391- ed
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)
موضوع: ، Engineering- Data processing,، System analysis,، Electronic digital computers- Programming
رده :
TA
345
.
K86
3838. System design from porvably correct constructs: the beginning of true software engineering
پدیدآورنده: Martin, James
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: ، System design,Programming ، Electronic digital computers,، Debugging in computer science
رده :
QA
76
.
9
.
S88
M37
1985
3839. System design from provably correct constructs:the beginnings of
پدیدآورنده: MARTIN,JAMES
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع: SYSTEM DESIGN , ELECTRONIC DIGITAL COMPUTERS-PROGRAMMING , DEBUGGING IN COMPUTER SCIENCE
رده :
QA
76
.
9
.
S88
M37
3840. System simulation : programming styles and languages
پدیدآورنده: Kreutzer, Wolfgang.
کتابخانه: كتابخانه پژوهشگاه نیرو (تهران)
موضوع: ، Digital computer simulation,، Electronic digital computers- Programming,، Programming languages )Electronic computers(
رده :
QA
76
.
9
.
C65K74
1986
